home *** CD-ROM | disk | FTP | other *** search
/ ftp.cs.arizona.edu / ftp.cs.arizona.edu.tar / ftp.cs.arizona.edu / icon / newsgrp / group03a.txt / 000010_icon-group-sender_Tue Feb 11 16:44:11 2003.msg < prev    next >
Internet Message Format  |  2003-12-22  |  2KB
  1. Return-Path: <icon-group-sender>
  2. Received: (from root@localhost)
  3.     by baskerville.CS.Arizona.EDU (8.11.1/8.11.1) id h1BNi8b17345
  4.     for icon-group-addresses; Tue, 11 Feb 2003 16:44:08 -0700 (MST)
  5. Message-Id: <200302112344.h1BNi8b17345@baskerville.CS.Arizona.EDU>
  6. From: ernobe <ernobe@yahoo.com>
  7. X-Newsgroups: comp.lang.icon
  8. Subject: Re: data values
  9. Date: Tue, 11 Feb 2003 17:02:34 -0600
  10. User-Agent: Noworyta News Reader/2.9
  11. To: icon-group@cs.arizona.edu
  12. Errors-To: icon-group-errors@cs.arizona.edu
  13. Status: RO
  14.  
  15. ernobe wrote:
  16.  
  17. > 
  18. > [In the implementation book,] in Chapter 2, page 17, there appears that,
  19. > "Except in such specific situations, expressions are not bounded".  The
  20. > specific situations mentioned are the if-clause and the control clauses
  21. > of loops.  The confusion here is that the if expressions and loops are
  22. > also themselves expressions, and when they do not appear as arguments to
  23. > other expressions they are bounded.  The previous mention of unbounded
  24. > expressions referred to them as arguments to be evaluated (p.16) which
  25. > was seen to resemble a logical conjunction (p.15).  All of which leads
  26. > us to the conclusion that a clearer statement than the one cited would
  27. > be "Except in such specific situations, logical expressions are not
  28. > bounded."     
  29. > 
  30. > 
  31. The whole section immediately following, entitled "Data Backtracking"
  32. might as well be paraphrased as "There is such a thing as data
  33. backtracking".  Would it be right to conclude from it that the success
  34. of expressions in a logical conjunction does not depend on the success
  35. of the final expression, while the success of the conjunction as a whole
  36. does? 
  37.